Save per cpu IDT information into the VMCS host area.
authorkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Thu, 21 Jul 2005 13:59:49 +0000 (13:59 +0000)
committerkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Thu, 21 Jul 2005 13:59:49 +0000 (13:59 +0000)
commit448ea5b78e22ae25b0a2cdf1c2337fa6399c26ff
tree040bea5c4fe2b62eb99ce859d6030b420adc4521
parent88490a29fe5aae0bf60864afd3807e5e8a67f88f
Save per cpu IDT information into the VMCS host area.

Without this, we may be saving the IDT info from the wrong cpu into the
vmcs.
This makes domU work in the presence of VMX domains on SMP/HT enabled
machines.

Signed-off-by: Chengyuan Li <chengyuan.li@intel.com>
Signed-off-by: Xiaofeng Ling <xiaofeng.ling@intel.com>=20
Signed-off-by: Arun Sharma <arun.sharma@intel.com>
xen/arch/x86/vmx_vmcs.c